A basic distributive law

Logic as a distributive law

We present an algorithm for deriving a spatial-behavioral type system from a formal presentation of a computational calculus. Given a 2-monad Calc : Cat → Cat for the free calculus on a category of terms and rewrites and a 2-monad BoolAlg for the free Boolean algebra on a category, we get a 2-monad Form = BoolAlg + Calc for the free category of formulae and proofs. We also get the 2-monad BoolA...

The generalized distributive law

In this semitutorial paper we discuss a general message passing algorithm, which we call the generalized distributive law (GDL). The GDL is a synthesis of the work of many authors in the information theory, digital communications, signal processing, statistics, and artificial intelligence communities. It includes as special cases the Baum–Welch algorithm, the fast Fourier transform (FFT) on any...

Distributive Injustice and Private Law

A Normal Form for the Free Left Distributive Law

We construct a new normal form for one variable terms up to left distributivity. The proof that this normal form exists for every term is considerably simpler than the corresponding proof for the forms previously introduced by Richard Laver. In particular the determination of the present normal form can be made in a primitive recursive way. Throughout the paper W denotes the set of all wellform...

A basic theory of Benford ’ s Law ∗

Drawing from a large, diverse body of work, this survey presents a comprehensive and unified introduction to the mathematics underlying the prevalent logarithmic distribution of significant digits and significands, often referred to as Benford’s Law (BL) or, in a special case, as the First Digit Law. The invariance properties that characterize BL are developed in detail. Special attention is gi...